#select#\renewcommand{\indexproofstyle}{#insertion#}
